first-order logic
un. 一階邏輯
[網絡] 初階邏輯；一階謂詞演算或一階邏輯；一階述詞邏輯
熱門查詢
- garry [人名] [愛爾蘭姓氏] 加里 Geary的變體; [男子名] 加里來源于日耳曼語，含義是“持矛者”(spearbearer); [男子名] 加里 Garvey等的昵稱
- unwired adj. 無金屬絲的
- smiles n. 微笑；喜色（smile的復數） v. 微笑；喜色（smile的第三人稱單數形式） n. (Smiles)人名；(英)斯邁爾斯
- Darcy n. 達西（滲透力單位）
- parlour n. 客廳；會客室；雅座 n. (Parlour)人名；(英)帕勒
- normalise vt. （使）正常化; （使）恢復友好狀態
- tidiness n. 整齊；干凈整潔
- snake n. 蛇；陰險的人 vt. 拉（木材等）；迂回前進 vi. 迂回前進
- ligature n. 繃帶；繩索；連字；連接物 vt. 結扎；捆
- musical instrument n. 樂器 [網絡] 西式樂器；琴；音樂器材
- becker n. 貝克爾（美國經濟學家）
- attar n. 玫瑰油；香精油；揮發油；花油 n. (Attar)人名；(阿拉伯、土、俄)阿塔爾
- gibbous adj. 突起的；[天] 凸圓的；駝背的
- mention vt. 提到，談到；提及，論及；說起 n. 提及，說起 n. (Mention)人名；(法)芒雄
- inundation n. 洪水；泛濫
- profuse adj. 豐富的；很多的；慷慨的；浪費的
- BSC 二元同步通信
- entertain vt. 娛樂；招待；懷抱；容納 vi. 款待
- cahoot n. <美><口>合伙，共謀
- uncluttered adj. 整潔的；整齊的 v. 使整潔（unclutter的過去式和過去分詞）
